<?php
session_start();
setcookie("web", "", time() - 3600,"/");
unset($_SESSION['user']);
unset($_SESSION['tradesman']);

if ( array_key_exists('user-registered',$_SESSION) ) {
	unset($_SESSION['user-registered']);
}

$_SESSION['signing_out'] = '1';
header("Location: /");
?>